Computably Separable Models
نویسندگان
چکیده
We provide fundamental results of the structural theory computably separable models and consider applications this to effective linear orders theoretical informatics.
منابع مشابه
Prime models of computably enumerable degree
We examine the computably enumerable (c.e.) degrees of prime models of complete atomic decidable (CAD) theories. A structure has degree d if d is the degree of its elementary diagram. We show that if a CAD theory T has a prime model of c.e. degree c, then T has a prime model of strictly lower c.e. degree b, where, in addition, b is low (b′ = 0′). This extends Csima’s result that every CAD theor...
متن کاملSeparable Models of Randomizations
Every complete first order theory has a corresponding complete theory in continuous logic, called the randomization theory. It has two sorts, a sort for random elements of models of the first order theory, and a sort for events. In this paper we establish connections between properties of countable models of a first order theory and corresponding properties of separable models of the randomizat...
متن کاملEvery Computably Enumerable Random Real Is Provably Computably Enumerable Random
We prove that every computably enumerable (c.e.) random real is provable in Peano Arithmetic (PA) to be c.e. random, a statement communicated to one author by B. Solovay. A major step in the proof is to show that the theorem stating that “a real is c.e. and random iff it is the halting probability of a universal prefix-free Turing machine” can be proven in PA. Our proof, which is simpler than t...
متن کاملCosmological Models Separable in Non-comoving Coordinates
We study new separable orthogonally transitive abelian G2 on S2 models with two mutually orthogonal integrable Killing vector fields. For this purpose we consider separability of the metric functions in a coordinate system in which the velocity vector field of the perfect fluid does not take its canonical form, providing thereby solutions which are non-separable in comoving coordinates in gener...
متن کاملSeparable Utility Functions in Dynamic Economic Models
In this note we study properties of utility functions suitable for performance evaluation of dynamic economic models under uncertainty. At first, we summarize basic properties of utility functions, at second we show how exponential utility functions can be employed in dynamic models where not only expectation but also the risk are considered. Special attention is focused on properties of the ex...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Mathematical Sciences
سال: 2022
ISSN: ['1072-3374', '1573-8795']
DOI: https://doi.org/10.1007/s10958-022-06033-1